McCabe-Dansted, John C.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - An Algebraic System of Temporal Structures

French, Tim, McCabe-Dansted, John, Reynolds, Mark

Year:

2013

Language:

english

File:

PDF, 392 KB

english, 2013

2

Approximability of Dodgson’s rule

John C. McCabe-Dansted, Geoffrey Pritchard, Arkadii Slinko

Journal:

Social Choice and Welfare

Year:

2008

Language:

english

File:

PDF, 284 KB

english, 2008

3

Exploratory Analysis of Similarities Between Social Choice Rules

John C. McCabe-Dansted, Arkadii Slinko

Journal:

Group Decision and Negotiation

Year:

2006

Language:

english

File:

PDF, 584 KB

english, 2006

4

A Rooted Tableau for BCTL*

John Christopher McCabe-Dansted

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 299 KB

english, 2011

5

Approximability of Dodgson's rule

John McCabe-Dansted, Geoffrey Pritchard and Arkadii Slinko

Journal:

Social Choice and Welfare

Year:

2008

Language:

english

File:

PDF, 1.33 MB

english, 2008

6

[IEEE 2012 19th International Symposium on Temporal Representation and Reasoning (TIME) - Leicester, United Kingdom (2012.09.12-2012.09.14)] 2012 19th International Symposium on Temporal Representation and Reasoning - A Tableau for the Combination of CTL and BCTL

McCabe-Dansted, John C.

Year:

2012

Language:

english

File:

PDF, 213 KB

english, 2012

7

[IEEE 2010 17th International Symposium on Temporal Representation and Reasoning (TIME) - Paris, France (2010.09.6-2010.09.8)] 2010 17th International Symposium on Temporal Representation and Reasoning - CTL-Like Fragments of a Temporal Logic of Robustness

McCabe-Dansted, John C., Dixon, Clare

Year:

2010

Language:

english

File:

PDF, 291 KB

english, 2010

8

[IEEE 2009 16th International Symposium on Temporal Representation and Reasoning (TIME) - Bressanone-Brixen, Italy (2009.07.23-2009.07.25)] 2009 16th International Symposium on Temporal Representation and Reasoning - On the Expressivity of RoCTL*

McCabe-Dansted, John Christopher, French, Tim, Reynolds, Mark, Pinchinat, Sophie

Year:

2009

Language:

english

File:

PDF, 326 KB

english, 2009

9

[IEEE 2014 21st International Symposium on Temporal Representation and Reasoning (TIME) - Verona, Italy (2014.9.8-2014.9.10)] 2014 21st International Symposium on Temporal Representation and Reasoning - Verification of Rewrite Rules for Computation Tree Logics

McCabe-Dansted, John Christopher, Reynolds, Mark

Year:

2014

Language:

english

File:

PDF, 289 KB

english, 2014

10

[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - Complexity of Model Checking over General Linear Time

French, Tim, McCabe-Dansted, John, Reynolds, Mark

Year:

2013

Language:

english

File:

PDF, 407 KB

english, 2013

11

[IEEE 2014 21st International Symposium on Temporal Representation and Reasoning (TIME) - Verona, Italy (2014.9.8-2014.9.10)] 2014 21st International Symposium on Temporal Representation and Reasoning - Fairness with EXPTIME Bundled CTL Tableau

McCabe-Dansted, John Christopher, Reynolds, Mark

Year:

2014

Language:

english

File:

PDF, 303 KB

english, 2014

12

Synthesis for continuous time

French, Tim, McCabe-Dansted, John, Reynolds, Mark

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 691 KB

english, 2015

13

Expressiveness and succinctness of a logic of robustness

McCabe-Dansted, John C., French, Tim, Pinchinat, Sophie, Reynolds, Mark

Journal:

Journal of Applied Non-Classical Logics

Year:

2015

Language:

english

File:

PDF, 755 KB

english, 2015

14

Rewrite rules for CTL*

McCabe-Dansted, John C., Reynolds, Mark

Journal:

Journal of Applied Logic

Year:

2017

Language:

english

File:

PDF, 571 KB

english, 2017

15

[IEEE 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - Kongens Lyngby, Denmark (2016.10.17-2016.10.19)] 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - Modelling Systems over General Linear Time

McCabe-Dansted, John, Reynolds, Mark, French, Tim

Year:

2016

Language:

english

File:

PDF, 246 KB

english, 2016

16

To be fair, use bundles

John McCabe-Dansted,Mark Reynolds

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2017

Language:

english

File:

PDF, 1012 KB

english, 2017

17

Asymmetric equilibria in spatial competition under weakly concave scoring rules

Cahan, Dodge, McCabe-Dansted, John, Slinko, Arkadii

Journal:

Economics Letters

Year:

2018

Language:

english

File:

PDF, 310 KB

english, 2018

18

Sublogics of a branching time logic of robustness

McCabe-Dansted, John, Dixon, Clare, French, Tim, Reynolds, Mark

Journal:

Information and Computation

Year:

2019

File:

PDF, 924 KB

2019